Complexity classes - PDFSEARCH.IO - Document Search Engine

Complexity classes
Results: 1120

#	Item
511	Journal of Artificial Intelligence Research[removed]Submitted 11/10; published[removed]Where Are the Hard Manipulation Problems? Toby Walsh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-09-28 21:59:58 Voting Social choice theory Single winner electoral systems Mathematical optimization NP-hard NP-complete NP Computational complexity theory Instant-runoff voting Complexity classes Single Transferable Vote Political philosophy
512	Lecture XXX Page 1 “The field of mechanical theorem proving badly needs a basis for comparing and evaluating the dozens of procedures which appear in the literature. Performance of a Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-11-21 18:33:24 Complexity classes P Time complexity Algorithm Reduction Turing machine EXPTIME Computability L Theoretical computer science Computational complexity theory Applied mathematics
513	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2011-10-25 15:14:14 Complexity classes Natural proof Alexander Razborov P Circuit complexity Steven Rudich Oracle machine Time complexity Gödel Prize Theoretical computer science Applied mathematics Computational complexity theory
514	Pseudorandom Generators, Typically-Correct Derandomization, and Circuit Lower Bounds∗ Jeff Kinne † Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2009-07-13 09:37:01 Pseudorandomness Randomness Algorithmic information theory Pseudorandom generator Complexity classes Bounded-error probabilistic polynomial Randomized algorithm Randomness extractor PP Theoretical computer science Applied mathematics Computational complexity theory
515	Artificial Intelligence Artificial Intelligence Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-03-06 00:35:16 NP-complete problems Complexity classes Operations research Combinatorial optimization Travelling salesman problem Optimization problem NP Branch and bound Mathematical optimization Theoretical computer science Computational complexity theory Applied mathematics
516	Georgia Medicaid/PeachCare Preferred Drug List Effective September 1, 2014 This Preferred Drug List is subject to change without notice. Generics are considered preferred unless noted. This list does not include all drug Add to Reading List Source URL: dch.georgia.gov Language: English - Date: 2014-08-27 16:26:50 Copayment Clindamycin P Medicine Chemistry Health Complexity classes The Quiz League of London NP
517	Computational Complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas Inaugural-Dissertation zur Erlangung des Doktorgrades Add to Reading List Source URL: kups.ub.uni-koeln.de Language: English - Date: 2011-03-28 06:57:24 NP-complete problems Logic in computer science Complexity classes Boolean algebra 2-satisfiability Boolean satisfiability problem Conjunctive normal form Outerplanar graph Planar graph Theoretical computer science Graph theory Computational complexity theory
518	Measuring Rationality with the Minimum Cost of Revealed Preference Violations Mark Dean and Daniel Martin Online Appendices - Not for Publication Add to Reading List Source URL: www.econ.brown.edu Language: English - Date: 2013-06-19 07:39:31 Complexity classes NP-complete problems Mathematical optimization Structural complexity theory NP-complete NP-hard P versus NP problem NP Vertex cover Theoretical computer science Computational complexity theory Applied mathematics
519	Guiding Planner Backjumping Using Verifier Traces Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 07:53:49 Artificial intelligence Search algorithms Complexity classes Backjumping Backtracking Constraint satisfaction problem Model checking NP IP Theoretical computer science Applied mathematics Constraint programming
520	Cost Models based on the λ-‐Calculus or The Church Calculus the Other Turing Machine Guy Blelloch Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2015-02-06 16:30:16 Mathematics Algorithm Mathematical logic Models of computation Simula L SC Turing machine Theoretical computer science Applied mathematics Complexity classes

UPDATE